Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
009185 | Bernhard Gramlich [Autriche] | On interreduction of semi-complete term rewriting systems |
009F04 | Bernhard Gramlich [Autriche] ; Hélène Kirchner [France] ; Frank Pfenning [États-Unis] | Editorial: Strategies in Automated Deduction |
This area was generated with Dilib version V0.6.33. |